Cyber Physical Systems (CPS) Security Verification Using Model Checking

Cyber physical systems (CPS) are vulnerable to malicious attacks that might put lives at risk or cause environmental damage (CPS). While the widespread use of CPSs has many positive social effects, this study presents a systematic approach ensuring safety such by combining model checking with UPPAAL inspect CPS’s OT for signs breach. Security limitations generated in methodical fashion. These approaches’ contributions can be broken down into three main categories: first, way is proposed construct security systematically, all while keeping mind overall needs level. Second, produced constraints monitored runtime reveal potential assaults. For third, WSN must addressed. Finally, work suggests adding an Attack Module standard system modelling order simulate possible attacks. Ultimately, verification results two ways: pinpoint trouble spots need fixes design, and second, propose additional constraints.